Mrsc: a Toolkit for Building Multi-result Supercompilers Mrsc: a Toolkit for Building Multi-result Supercompilers Moscow 2011 Ilya Klyuchnikov, Sergei Romanenko. Mrsc: a Toolkit for Building Multi-result Supercompilers
نویسندگان
چکیده
The paper explains the principles of multi-result supercompilation. We introduce a formalism for representing supercompilation algorithms as rewriting rules for graphs of configurations. Some low-level technical details related to the implementation of multi-result supercompilation in MRSC are discussed. In particular, we consider the advantages of using spaghetti stacks for representing graphs of configurations. Работа выполнена при поддержке проекта РФФИ № 09-01-00834-a.
منابع مشابه
Automatic verification of counter systems via domain-specific multi-result supercompilation (2012)
matic verification of counter systems via domain-specific multi-result supercompilation We consider an application of supercompilation to the analysis of counter transition systems. Multi-result supercompilation enables us to find the best versions of the analysis by generating a set of possible results that are then filtered according to some criteria. Unfortunately, the search space may be ra...
متن کاملAutomatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (meta 2012)
We consider an application of supercompilation to the analysis of counter systems. Multi-result supercompilation enables us to find the best versions of the analysis by generating a set of possible results that are then filtered according to some criteria. Unfortunately, the search space may be rather large. However, the search can be drastically reduced by taking into account the specifics of ...
متن کاملAutomatic verification of counter systems via domain-specific multi-result supercompilation
We consider an application of supercompilation to the analysis of counter systems. Multi-result supercompilation enables us to find the best versions of the analysis by generating a set of possible results that are then filtered according to some criteria. Unfortunately, the search space may be rather large. However, the search can be drastically reduced by taking into account the specifics of ...
متن کاملAutomatic Verification of Counter Systems via Domain- Specific Multi-result Supercompilation Automatic Verification of Counter Systems via Domain-specific Multi-result Supercompilation. Keldysh Automatic Verification of Counter Systems via Domain-specific Multi-result Supercompilation Moscow 2012
matic verification of counter systems via domain-specific multi-result supercompilation We consider an application of supercompilation to the analysis of counter transition systems. Multi-result supercompilation enables us to find the best versions of the analysis by generating a set of possible results that are then filtered according to some criteria. Unfortunately, the search space may be ra...
متن کاملImplementing a domain-specific multi-result supercompiler by means of the MRSC toolkit (2012)
The paper presents a simple domain-specific multi-result supercompiler for counter systems implemented by means of the MRSC toolkit. The input language of the supercompiler is a non-deterministic domain-specific language meant for specifying models of communication protocols. The implementation of this DSL is based on " embedding " and the heavy use of higher-order constructs. There are present...
متن کامل